Tree automaton - PDFSEARCH.IO - Document Search Engine

Tree automaton
Results: 92

#	Item
21	Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:30 Ω-automaton Deterministic finite automaton Tree automaton Nondeterministic finite automaton Omega language Sequence Muller automaton Büchi automaton Automata theory Theoretical computer science Computer science
22	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
23	String Suffix Automata and Subtree Pushdown Automata Add to Reading List Source URL: www.stringology.org Language: English - Date: 2009-09-02 12:00:50 Formal languages Computer science Mathematics Deterministic pushdown automaton Pushdown automaton Tree automaton Alphabet A Automata theory Models of computation Theoretical computer science
24	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
25	Linear Time Algorithm for Identifying the Invertibility of Null-Boundary Three Neighborhood Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:03 Computing Cellular automaton Tree traversal Tree
26	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
27	Electronic Communications of the EASST Second International Workshop on Bidirectional Transformations (BXEdit languages for information trees Add to Reading List Source URL: dmwit.com Language: English - Date: 2013-05-07 00:40:33 Computer science Tree automaton Mathematics Regular tree grammar Automata theory Theoretical computer science Sheaf
28	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
29	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 LSV, ENS Cachan & CNRS {bollig,gastin}@lsv.ens-cachan.fr Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-19 10:50:53 Ω-automaton Automata theory Tree automaton Nondeterministic finite automaton
30	YakYak: Parsing with Logical Side Constraints Niels Damgaard Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-12-15 06:18:13 Combinatorics Parse tree Context-free grammar Formal grammar LR parser Binary tree Tree automaton Attribute grammar Parsing Formal languages Software engineering Mathematics